Nuprl Definition : hide 4,23
HIDDEN == x 
latex

clarification:

hide(x) == x 
latex

FDL editor aliaseshide

origin